]> dgit.raspbian.org Git - gnome-shell.git/commit
theme: Restore stuff that got accidentally lost
authorFlorian Müllner <fmuellner@gnome.org>
Tue, 3 Mar 2015 18:13:16 +0000 (19:13 +0100)
committerFlorian Müllner <fmuellner@gnome.org>
Tue, 3 Mar 2015 18:14:49 +0000 (19:14 +0100)
commitf1370ef578fedcba1de8efb0b7d3d75d0434f4e3
tree9eb2e53db238cd96913146753431c99d42385a73
parent8f136e46d495f52b7ee3509844dfa22a843f362e
theme: Restore stuff that got accidentally lost

The last CSS changes where generated from a local out-of-sync
sass checkout. Bring it back by regenerating the CSS ...
data/theme/gnome-shell-high-contrast.css
data/theme/gnome-shell-sass
data/theme/gnome-shell.css